# -*- mode: snippet -*-
# name: Unset Regular Subst Tactic
# --
Unset Regular Subst Tactic
